Câu ví dụ
- Intuitionistic logic has come to be of great interest to computer scientists, as it is a constructive logic, and is hence a logic of what computers can do.
Logic trực giác đã được quan tâm nhiều bởi các nhà khoa học máy tính, bởi vì nó là một logic xây dựng, và do vậy là một loại logic mà các máy tính có thể làm được.
